Computer programming - PDFSEARCH.IO - Document Search Engine

Computer programming
Results: 45296

#	Item
291	Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2010-01-13 17:46:38 Software engineering Computer programming Computing Functional languages Subroutines Procedural programming languages Data types Lambda calculus Scheme Lisp Anonymous function Scope
292	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proving Termination by Dependency Pairs and Inductive Theorem Proving Carsten Fuhs · J¨ Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2011-06-16 09:07:59 Theoretical computer science Logic Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Nqthm Rewrite order Symbol
293	API Documentation Version: IDnow GmbH – www.idnow.de Add to Reading List Source URL: www.idnow.es Language: English - Date: 2016-04-07 09:53:48 Computing Software architecture Ajax Computer access control Application programming interface Technical communication Web API JSON Authentication File Transfer Protocol
294	¨ BOCHUM RUHR-UNIVERSITAT Horst G¨ortz Institute for IT Security Technical Report TR-HGI Add to Reading List Source URL: www.ei.rub.de Language: English - Date: 2014-12-17 10:12:31 Computing Software engineering Computer architecture Method Data types X86 architecture Assembly languages Virtual method table Subroutines X86 assembly language Low-level programming language Dangling pointer
295	Microsoft PowerPoint - Lect02Scheme.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-09-12 12:47:00 Software engineering Programming language theory Lambda calculus Computer programming Scheme Structure and Interpretation of Computer Programs Anonymous function Square root Nth root
296	BIDS AND AWARDS COMMITTEE ABSTRACT OF BIDS AS READ May 13, 2015 at 10:00 a.m. held at BAC Office, Provincial Capitol Complex, Calapan City Opened on: Project: Add to Reading List Source URL: www.ormindoro.gov.ph Language: English - Date: 2016-01-04 00:29:33 Software engineering Computing Computer programming Building engineering Insurance Sureties Surety bond PHP
297	PDF Document Add to Reading List Source URL: www.trumod.co.za Language: English - Date: 2014-03-26 09:19:34 Computer programming Index of standards articles Standards Index of Abkhazia-related articles
298	Name ______________________________________ Find the States Write down the capital of each state, and then find the capital in the puzzle. B G Add to Reading List Source URL: www.qualint.com Language: English - Date: 2004-12-24 19:26:25 Obfuscation Computer programming Software engineering Index of Abkhazia-related articles Toledo Nanochess
299	Ambient References: Addressing Objects in Mobile Networks Tom Van Cutsem∗ Jessie Dedecker∗ Stijn Mostinckx† Elisa Gonzalez Theo D’Hondt Wolfgang De Meuter Programming Technology Lab Vrije Universiteit Brussel – Add to Reading List Source URL: soft.vub.ac.be Language: English - Date: 2006-03-31 08:08:22 Computing Software engineering Computer programming Distributed computing architecture Ambient intelligence Ambient calculus AmbientTalk Actor model Message passing Distributed object Text messaging
300	Adaptive MPI:  Overview & Recent Work Sam White PPL, UIUC Motivation Add to Reading List Source URL: charm.cs.illinois.edu Language: English - Date: 2016-04-20 17:46:21 Computing Computer programming Parallel computing Software engineering Application programming interfaces Charm++ Message Passing Interface OpenMP Thread C dynamic memory allocation

UPDATE